; (function () {
    function setFontSize() {
        var html = document.documentElement;
        var w = html.getBoundingClientRect().width;
        if (w > 750) {
            w = 750;
        }
        var f = w / 7.5;
        html.style.fontSize = f + "px";
    }
    setFontSize();
    var timer = null;
    window.onresize = function () {
        clearTimeout(timer);
        timer = setTimeout(setFontSize, 300);
    }
})();